Summaries of theses/Sammendrag av doktorgradsavhandlinger

Summaries ∗

Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program’s lifetime. This is due, in large part, to the use of syntactic program differencing techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we d...

Query-Focused Summaries or Query-Biased Summaries?

In the context of the Document Understanding Conferences, the task of Query-Focused Multi-Document Summarization is intended to improve agreement in content among humangenerated model summaries. Query-focus also aids the automated summarizers in directing the summary at specific topics, which may result in better agreement with these model summaries. However, while query focus correlates with p...

Utvikling av altruisme med gjenkjennelse av slektskap i evolusjonære roboter

Swarm robotics provides ways of solving problems using groups of autonomous robots that display emergent intelligent behaviour. Control mechanisms for these robots can be designed by using mechanisms from evolutionary robotics. In order to ensure that the controllers are adaptive and capable of learning new behaviour controllers are artificially evolved using techniques inspired by natural evol...

The permutation classes Av(1234, 2341) and Av(1243, 2314)

We investigate the structure of the two permutation classes defined by the sets of forbidden patterns {1234, 2341} and {1243, 2314}. By considering how the Hasse graphs of permutations in these classes can be built from a sequence of rooted source graphs, we determine their algebraic generating functions. Our approach is similar to that of “adding a slice”, used previously to enumerate various ...

WOLF AV: Diagnosis of drowning.